﻿using System;
using System.Collections.Generic;
using Infinity.Expressions;
using System.Linq;
using System.Text;
using Infinity.Statements.Declare;

namespace Infinity.Statements.StatementFactory.Declare
{
	/// <summary>
	/// Megszorított típus deklarálása
	/// </summary>
	/// <example>
	///		{ x : Int32 | x > 0 and x mod 4 == 0 } //4-el osztható számok pozitív egész számok halmaza
	/// </example>
	public class SubTypeDeclareStatement : TypeDeclareStatement, ISubTypeDeclareStatement
	{
		/// <summary>
		/// Megszorított típus feltétele
		/// </summary>
		public IExpression Condition { get; set; }

		/// <summary>
		/// Feltételben használt változó neve
		/// </summary>
		public IIdentifierExpression Identifier { get; set; }
	}
}